distributivité : $$\forall a,b,c\in E,\quad\begin{align}& a\times b+a\times c=a\times(b+c)\\ &b\times a+c\times a=(b+c)\times a\end{align}$$